Designing reliable systems from reliable components using the context-dependent constraint concept
نویسنده
چکیده
The problem of composing a system using well-behaved components is discussed. Specifically, necessary conditions for preserving the behaviour in a system context are analysed in this paper. Such conditions are defined as Context-Dependent Constraints (CDC). A non-formal approach is taken based on common system integration errors. It is suggested that the identification and verification of CDCs should be part of any development method based on component verification. The CDCs can also serve as an aid for designing reliable and maintainable systems, where the goal of the design process is to reduce the number of CDCs.
منابع مشابه
Designing Reliable Programs with Rapide
Rapide is a language for prototyping large, distributed systems. Rapide allows the scale design of a system to be constructed and analyzed before resources are applied to the construction of the actual system. Two important facets of designing reliable systems are (1) system architecture | the components in the system and the communication paths between the components, and (2) system behavior |...
متن کاملDevelopment, Factor Analysis, and Validation of an EFL Teacher Change Scale (TCS)
The concept of teacher change is critical in second language teaching and English as a Foreign Language (EFL) context due largely to the fact that, almost, whatever we do in teacher education looks for initiating change of one sort or another. A substantial body of research has been dedicated to investigate teacher change (TC) from various perspectives. However, having studied the related lite...
متن کاملA New Optimization Model for Designing Acceptance Sampling Plan Based on Run Length of Conforming Items
The purpose of this article is to present an optimization model for designing an acceptance sampling plan based on cumulative sum of run length of conforming items. The objective is to minimize the total loss including both the producer and consumer losses. The concept of minimum angle method is applied to consider producer and consumer risks in the optimization model. Also the average number o...
متن کاملA novel bi-objective reliable location routing model considering impedance function under demand-side and supply-side uncertainty (A Case study)
Reliable location routing problem considers a location problem and a vehicle routing problem in order to select the optimal location of facilities and at the same time the optimal routes for vehicles considering the unexpected failure for facilities in which, all facilities may fail with a probability. In this paper, a bi-objective mathematical model has been developed to minimize the total cos...
متن کاملA Reliable Multi-objective p-hub Covering Location Problem Considering of Hubs Capabilities
In the facility location problem usually reducing total transferring cost and time are common objectives. Designing of a network with hub facilities can improve network efficiency. In this study a new model is presented for P-hub covering location problem. In the p-hub covering problem it is attempted to locate hubs and allocate customers to established hubs while allocated nodes to hubs are in...
متن کامل